Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
841	Manuscript Click here to download Manuscript: OAS-article3.pdf 1 2 3 Add to Reading List Source URL: www.mathhouse.org Language: English - Date: 2014-11-24 04:39:12 Euclidean plane geometry Triangle geometry Triangle Golden ratio Algebra Mathematical proof Number theory Euclidean geometry Emmy Noether Geometry Mathematics Triangles
842	A SIMPLE PROOF OF A RESULT OF A. NOVIKOV arXiv:math.PR[removed]v1 1 Jul 2002 N.V. KRYLOV Add to Reading List Source URL: www-stat.wharton.upenn.edu Language: English - Date: 2013-12-08 15:36:48 Wiener process Asymptotic analysis Measure theory Mathematical analysis Calculus Continuous function
843	From: AAAI-91 Proceedings. Copyright ©1991, AAAI (www.aaai.org). All rights reserved. ristie Eugene Charniak and Saadia Husain Department of Computer Science Brown University Box 1910, Providence RI 02912 Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-09 20:18:56 Heuristic function Topological sorting Directed acyclic graph Admissible heuristic Heuristic Bayesian network Mathematical proof A* search algorithm Graph theory Heuristics Mathematics
844	Monadic Concurrent Linear Logic Programming Pablo Lopez ´ Frank Pfenning Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-05-04 19:43:00 Logic in computer science Deduction Propositional calculus Logical consequence Natural deduction Logic programming Linear logic Entailment Sequent calculus Logic Mathematical logic Proof theory
845	Randomness in Cryptography January 24, 2013 Lecture 3: Privacy and Weak Sources Lecturer: Yevgeniy Dodis Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2014-03-05 15:29:24 Abstract algebra Geometric topology Differential topology Differential geometry Proof theory Train track map Stallings theorem about ends of groups Geometric group theory Geometry Topology
846	Appears in Informatica, 17, pp[removed], 1993 Informatica 17 page xxx{yyy 1 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2002-02-06 19:35:59 Theoretical computer science Machine learning Proof theory Applied mathematics Concept learning Learning theory Algorithm Mathematical induction Mathematical logic Mathematics Logic
847	Analogical Proof Planning Toby Walsh Department of Articial Intelligence Edinburgh University 80 South Bridge, Edinburgh Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 02:05:25 Integration by parts Mathematical proof Integral Series Operator theory Spectral method Product rule Mathematics Mathematical analysis Integral calculus
848	This is a non-printable proof of an article published in Survival, vol. 54, no. 1 (February–March 2012), pp. 175–84. The published version is available for subscribers or pay-per-view by clicking here. Review Essay Add to Reading List Source URL: www.history.ox.ac.uk Language: English - Date: 2012-02-16 09:13:34 Futurology International relations theory The Better Angels of Our Nature Steven Pinker Political science War Violence Behavior Hans Morgenthau Peace International relations Democratic peace theory
849	A MECHANICAL PROOF OF THE UNSOLVABILITY OF THE HALTING PROBLEM Robert S. Boyer and J Strother Moore ICSCA-CMP-28 July 1982 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:25 Control flow Eval Functions and mappings Halting problem Function Characterizations of the exponential function Mathematics Computability theory Theory of computation
850	IKP and Friends Robert S. Lubarsky∗ 1755 NE 18th St. Ft. Lauderdale, FL[removed]USA [removed] Add to Reading List Source URL: math.fau.edu Language: English - Date: 2006-07-05 14:18:17 Model theory Constructible universe Mathematical logic Proof theory Μ operator Linear temporal logic Mathematics Logic Function

UPDATE